May I borrow your logic? (Transporting logical structures along maps)
نویسندگان
چکیده
منابع مشابه
May I Borrow Your Logic? (Transporting Logical Structures Along Maps)
It can be very advantageous to borrow key components of a logic for use in another logic. The advantages are both conceptual and practical; due to the existence of software systems supporting mechanized reasoning in a given logic, it may be possible to reuse a system developed for one logic|for example, a theorem-prover|to obtain a new system for another. Translations between logics by appropri...
متن کاملMay I borrow your logic ? ( Transporting logical structures along
It can be very advantageous to borrow key components of a logic for use in another logic. The advantages are both conceptual and practical; due to the existence of software systems supporting mechanized reasoning in a given logic, it may be possible to reuse a system dcveloped for one logic for example, a theorem-prover to obtain a new system for another. Translations between logics by appropri...
متن کاملMay I check your cap?
Modernizing a classic technique to study microtubules has revealed that the stability of a microtubule is related to its growth rate.
متن کاملDesign of Ripple Borrow Subtractor using different logic techniques
Power dissipation has become an overriding concern for VLSI circuits and it may come to dominate the total chip power consumption as the technology feature size shrinks. The main aim of this paper is to minimize the leakage power by using a ultra low leakage techniques. In this work we are choosing the Benchmark circuit as full subtractor . This full subtractor are designed by using different t...
متن کاملMay I check the English of your paper!!!
This paper reports about our work in the HOO shared task 2011. The task is to automatically correct the English of a given document. For that, we have developed a hybrid system of a statistical CRF based model along with a rule-based technique has been used. The system has been trained on the HOO shared task training datasets and run on the test set given by the organizer of HOO. We have submit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00160-0